VDict - Definition of Negation as failure

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

negation by failure abduction failure casters-up mode AMD intelligent backtracking Prolog LDL1 Mean Time To Recovery N-Prolog minus infinity logical complement MU-Prolog unification twos complement satisfiability problem exclamation mark tilde GPF shockwave brain-dead Occam's Razor screwage failure-directed testing heuristics testing fault tree analysis fault bathtub curve delta reduction terminak General Protection Fault General Protection Failure safety-critical system addressee firehose syndrome management slap on the side DEC Wars network meltdown lossage polymorphism paranoid programming failover deep space Mean Time Between Failures snark Reliability, Availability, Serviceability SNOBOL4 nastygram checkpoint Russell's Paradox bus error brittle protocol analyser smoke test brain-damaged infant mortality lclint randomness fried more...